Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·1d·
Discuss: DEV
📐formal specification
Flag this post
A C example with objects and a arena for allocations, what do you think?
reddit.com·1d·
Discuss: r/C_Programming
🔧PLT
Flag this post
An Analysis of Early-Stage Functional Safety Analysis Methods and Their Integration into Model-Based Systems Engineering
arxiv.org·8h
📐formal specification
Flag this post
I’ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
devblogs.sh·20h·
Discuss: r/programming
📐formal specification
Flag this post
Moving From C++ to Rust? Clickhouse Has Some Advice
thenewstack.io·22h
🦀Rust
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·13h
🔧PLT
Flag this post
Combine Java and Rust Code Coverage in a Polyglot Project
questdb.com·3h·
Discuss: r/programming
🦀Rust
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·1d
🔧PLT
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·18h·
Discuss: Hacker News
📐formal specification
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🪜Scala
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·2d·
Discuss: Hacker News, Hacker News
🔧PLT
Flag this post
Code That Writes Itself: The Era of Example-Driven Programming by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
🪜Scala
Flag this post
How do you find the right balance between using AI tools and actually learning
reddit.com·2h·
Discuss: r/ClaudeAI
📐formal specification
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·1d·
Discuss: Hacker News
📐formal specification
Flag this post
A Deep Dive into the Morris Worm
rapid7.com·7h·
Discuss: Hacker News
📐formal specification
Flag this post
Go Generics: Use Cases and Patterns
dev.to·3h·
Discuss: DEV
🪜Scala
Flag this post
Empirical Characterization Testing
blog.ploeh.dk·3d
📐formal specification
Flag this post
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
getmichaelai.com·1h·
Discuss: DEV
📐formal specification
Flag this post
C++26 std::execution vs. Rust's async/rayon: Two different philosophies for the future of concurrency?
reddit.com·30m·
Discuss: r/cpp
🦀Rust
Flag this post
Automated Infrastructure as Code (IaC) Drift Detection and Remediation with Predictive Analytics
dev.to·7h·
Discuss: DEV
📐formal specification
Flag this post